DUGi: Llistar Títols | Szeider, Stefan | 0 - 1

Llistar Títols per Autor "Szeider, Stefan"

S'ha trobat un ítem:

1

Format	Data	Títol	Autor
Format	Data	Títol	Autor
	3 setembre 2024	Computing small Rainbow Cycle Numbers with SAT modulo Symmetries	Kirchweger, Markus ; Szeider, Stefan

1

Matèries

Programació per restriccions (Informàtica) -- Congressos Constraint programming (Computer science) -- Congresses

Autors

Szeider, Stefan Kirchweger, Markus Universitat de Girona. Departament d’Informàtica, Matemàtica Aplicada i Estadística